Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
621	COMMENTS ON THE MAIN THEOREM OF POP-STIX Shinichi Mochizuki Updated November 15, 2010 Let k be a ﬁnite extension of Qp , k an algebraic closure of k, and X a proper Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-07 02:27:50 Field theory Valuation P-adic number Model theory Prime number
622	ANON SUBMISSION Discussion Paper: “There is No Moral Faculty” Abstract: Dewey’s ethical naturalism has provided an exemplary model for many contemporary naturalistic treatments of morality. However, in some recent Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Meta-ethics Ethics Moral psychology Philosophy of mind American psychologists Moral sense theory Morality Moral reasoning Moral relativism Ethical intuitionism Marc Hauser Moral Minds
623	Applied General Equilibrium Modeling with MPSGE as a GAMS Subsystem: An Overview of the Modeling Framework and Syntax∗ Thomas F. Rutherford Department of Economics Add to Reading List Source URL: www.mpsge.org Language: English - Date: 2005-07-12 01:00:00 Computer algebra systems National accounts Computable general equilibrium Economic model Gempack General equilibrium theory Social accounting matrix Supply and demand Economics Applied general equilibrium Profit Draft:Extended mathematical programming
624	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning
625	Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Uli Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:05 Semantic Web Information science Knowledge representation Technical communication Model theory Ontology Web Ontology Language Module Elementary class
626	A Life-Cycle Model of Trans-Atlantic Employment Experiences Sagiri Kitao Lars Ljungqvist Add to Reading List Source URL: www.tomsargent.com Language: English - Date: 2015-12-20 13:35:21 Labour economics Unemployment Labour law Social justice Minimum wage Frictional unemployment Youth unemployment Macroeconomics Matching theory Efficiency wage Involuntary unemployment
627	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
628	MODEL FROBENIOIDS OREN BEN-BASSAT The following lecture notes were prepared for the IUT Theory of Shinichi Mochizuki conference to be held Monday, December 7, 2015 to Friday, December 11, 2015 at the Mathematical Institu Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2015-12-08 16:16:17 Algebraic geometry Frobenioid Number theory Divisor Differential geometry Semigroup theory Smooth functions Golden ratio base Pullback
629	Mark Addis. Categorical Abstract Model Theory and the Syntax of Scientific Theories There is a problematic discrepancy between current ways of characterising the semantics of mathematical theories and much philosophical Add to Reading List Source URL: www.thebsps.org Language: English - Date: 2016-05-28 03:54:00 Philosophy of science Randomness Critical thinking Philosophy of thermal and statistical physics Physics beyond the Standard Model Quantum mechanics Randomized controlled trial Quantum gravity Underdetermination Entropy Theory Theoretical physics
630	Social Networks–96 The accuracy of small world chains in social networks Peter D. Killworth a,∗ , Christopher McCarty b , H. Russell Bernard c , Mark House b Add to Reading List Source URL: nersp.nerdc.ufl.edu Language: English - Date: 2007-02-01 12:43:34 Network theory Networks Graph theory Edsger W. Dijkstra Shortest path problem Small-world network Peter Killworth Markov chain Conceptual model Path

UPDATE